منابع مشابه
Proving Looping and Non-Looping Non-Termination by Finite Automata
A new technique is presented to prove non-termination of term rewriting. The basic idea is to find a non-empty regular language of terms that is closed under rewriting and does not contain normal forms. It is automated by representing the language by a tree automaton with a fixed number of states, and expressing the mentioned requirements in a SAT formula. Satisfiability of this formula implies...
متن کاملControlling Long-Range Genomic Interactions at a Native Locus by Targeted Tethering of a Looping Factor
Chromatin loops juxtapose distal enhancers with active promoters, but their molecular architecture and relationship with transcription remain unclear. In erythroid cells, the locus control region (LCR) and β-globin promoter form a chromatin loop that requires transcription factor GATA1 and the associated molecule Ldb1. We employed artificial zinc fingers (ZF) to tether Ldb1 to the β-globin prom...
متن کاملTranslation initiation mediated by RNA looping.
Eukaryotic translation initiation commences at the initiation codon near the 5' end of mRNA by a 40S ribosomal subunit, and the recruitment of a 40S ribosome to an mRNA is facilitated by translation initiation factors interacting with the m(7)G cap and/or poly(A) tail. The 40S ribosome recruited to an mRNA is then transferred to the AUG initiation codon with the help of translation initiation f...
متن کاملGestural Interactions for Interactive Narrative Co-Creation
This paper describes a gestural approach to interacting with interactive narrative characters that supports co-creativity. It describes our approach using a Microsoft Kinect to created a short scene with an intelligent avatar and an AIcontrolled actor. It describes our preliminary user studies and a recommendation for future evaluation.
متن کاملHopping, jumping and looping by restriction enzymes.
Type II restriction endonucleases recognize specific DNA sequences and cleave both strands of the DNA at fixed locations at or near their recognition sites. Many of these enzymes are dimeric proteins that recognize, in symmetrical fashion, palindromic DNA sequences. They generally catalyse independent reactions at each recognition site on the DNA, although in some cases they act processively; c...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: M/C Journal
سال: 2002
ISSN: 1441-2616
DOI: 10.5204/mcj.1978